@@ -101,12 +101,12 @@
 			auto e = tryEat("(")
 				? parseLambdaAfterOpenParen(pos)  // let var ( ...
 				: (eat("=", "after "~kwd), E(0)); // let var = ...
 			if( moreDeclarationExists() )
-				return new Let(pos, var, SystemLayer, e, Body());
+				return new Let(pos, var, LiftLayer, e, Body());
 			else
-				return new Let(pos, var, SystemLayer, e,
-					new Lay(pos, SystemLayer, new Var(pos, var))
+				return new Let(pos, var, LiftLayer, e,
+					new Lay(pos, LiftLayer, new Var(pos, var))
 				);
 		}
 		else
 		{
@@ -635,9 +635,9 @@
 			var("foo"))
 	);
 
 	assert_eq(parseString(`@@type ( x ) { x }`),
-		let("@type", SystemLayer, fun(["x"], var("x")), lay(SystemLayer, var("@type"))) );
+		let("@type", LiftLayer, fun(["x"], var("x")), lay(LiftLayer, var("@type"))) );
 
 	assert_eq(parseString(`{}`), call(var("{}")));
 	assert_eq(parseString(`{foo:1,"bar":2}`),
 		call(var(".="), call(var(".="), call(var("{}")), strl("foo"), intl(1)), strl("bar"), intl(2)));