Adding ugly way to do type variables.

This is used only at typecheck time, and is specified using "x"
as a type, this should be nailed down to a better implementation.