Tweak definition scope in ord.
Adapt some theorems about nats to ord.
Adapt partmap to use ordType.