Support numeric types

[nachivpn]

Requires implementation of (basic) type classes. Being able to type expressions like int + float depends on this.

[nachivpn]

Subtyping part remains:
int <= float