Erlang Compiler for Lambda calculus with Swap Channels and Integers.