semantic: Ensure functions marked override actually override something.
semantic: Add overloading 13 and 14 ensuring override functions override functions.