[ List ] type

☞ x ≔ List new.
☞ y ≔ x type.
✎ write: y, stop.
List