to fix funOrd issue, start by implementing addStatementFunBinds in Typecheck.hs