fix warnings
use Lift' for liftT
fix master

overlap with idType branch