Implemented absurd functions for `Ordinal Z'.
Stop using smart constructors.
Added Typeable instance for Ordinals
version bumped