PostTyper transforms
WIP on lazy vals