typesystem now does not need any more the notion of sorting