Figured out how to check for member overloads
Implement compile-time assertions
Merge branch 'f/add-interface-implementation-assertions' into develop