Added the ability to run recursive functions, though type-checking on them is erroneously throwing errors.