Created basic typesystem