twee-0.1: An equational theorem prover