Lamdu.Expr.Type: {type=>}NextLayer, composite{Type=>}Types, int{Type=>}