Support equal
Support multi-argument functions by currying them
Use ANF if