Beginning a typesystem