typesystem now is fixed