Deleted TLam from IL1 (multiple arguments, turns out we don't need them) and added tuple vs