Add lifting operators
Add some monad functions
Add Tx module
Fix UnionCase mapping problem