Various fixes re. type variables

Fixes #75, #82 and #87 
that's only for `?`, not for `T`.