get miscTheory to build

just required replacing various '='s with '<=>' because the precedence
is different here.