Beginnings of a type system!