Fix equality checking for function expressions
Function 'unmangle' lives no longer in the SMT monad