Use MonadPlus interface; doType for App; Substitution; betaEq stub
Alpha-equality stub