Rewrite TypeChecking.Expressions