Convert things which look like Nats to Nats for optimisation
Convert things which look like Nats to Nats for optimisation

darcs-hash:20090423220551-228f4-af95f919a6c4b878b9927b53a25c2ce807cc853c.gz

avsm/Idris