Virtual calls refactoring
* Generic resolving of method implementations is still not implemented