Use unique objects as a represantation for type-variables. This solves the...

Use unique objects as a represantation for type-variables. This solves the problem of more type-variables with the same name. See lib/stdlib for an explanation on how to create types for stdlib-functions now.