List

If Nat is the most basic datatype, List is the next basic datatype.
After the definition, List taken a Type is a Type.
Let construct a List of "a", "b", "c", step by step.