Rewrite TypeChecking.Definitions.Functions