Support Alpha-Conversion and Currying