Add promoted Enum Nat instance to Prelude

This allows to actually use promoted arithmetic sequences. We
currently don't support singletonization of type classes (#25)
so until this is fixed we're only generating promoted instance.