simplify Backend.Lang function defn and add pretty printing
add Var/FVar (for `free' var) distinction in Core.ClosureConvert