Prove that Natural => Integer and Integer => Real in strict mode

[andrew-johnson-4]

Problem:
This is a challenge to do something cool that is almost working. Here we can use implicit structure to show that literal Natural numbers are a subset of Integers. Similarly we can show that Integers are Real.

Solution
Utilize the regular language definition of these Literals to show that one Type is a subset of another Type.

[andrew-johnson-4]

PunC