For now, we only have call-by-name parameters. We should allow the lazy modifier on parameters, for instance:

def f[a](lazy t: a) = { .. }

The meaning should be equivalent to:

def f[a](t': => a) = { lazy val t: a = t' .. }