expand type synonyms while reifying types
FalseP, TrueP
indentation
Added string argument to reifyE, reifyE' for informative error message.