Refactored trans of id and func.
Fixed lookup of var in env.
Allow _ as dont care formal param.
Added backquoted funcs as binary ops.