semantic: Disallow mutable conversions from immutable to const.
test: Add types 13 and 14, testing immutable to const conversions.