Updating: adding a primitive sort named [real].
Updating: tidying up