Allow reflection of normal forms back into Tm for easier testing
Added some applicative stuff to Maybe