Get rid of duck typing for type identification

[fabian-jung]

The time has come to get rid of the duck typing system. The system adds more complexity than it reduces in the long run as it introduces a lot of inconsistencies with the proxy generation.

Problems that will occur:

• dealing with attributes for members

What to do with anonymous classes, nested classes and classes defined in function scopes?