Add type.yz
Remove Expr.Ctor
Rename lit to literal