Finish TypeChecking.Expressions