Builtins.lazy for lazy arguments

How would that look like? To me this seems quite straight forward.

This is fairly explicit and much less bug-prone to say Backquotes for deferred expression, where types are being hidden, etc…