Closes #97 by introducing the override keyword and mechanism. Now by default, when you add a member to a class, if another member of the same name already exists, you get an error; you have to put 'override' on such members. Also added API functions and object lib functions to match.