Define def
Define fn
Wrap forl and forf bodies in implicit lets