About to remove the complicating and turned-out-to-be-a-bad-idea 'built-in:Integer' etc.
Renamed 'built-in:Real' to 'Real' etc.