Simplify tynat-wrapper conversion
Add support for more TypeLits functions