Added tests for automatic lifting in transformers.
Fixed automatic lifting in maybeT.