Eta-expansion

[xldenis]

Some form of tta-expansion should probably be done... Right now there's a bug where if a function is defined like:

a :: b -> b -> b
fn a()
  binaryFunc
end

it will (correctly) typecheck but then fail during code generation.