[437661] Introduce coercion to concrete syntax
[437661] Introduce coercion to abstract syntax
[437661] Eliminate UnlimitedNatural conformance to Integer