Work on typesystem