Defined KnownNat for getting term-level representation of naturals.
Added KnownNat to import list.
Merge pull request #6 from dmcclean/known-nat

KnownNat