Implement Proxy

[konsoletyper]

This should be done in several layers:

1. If it's possible to prove that certain proxy is only constructed for certain set of interfaces (e.g. when array, passed to Proxy.newProxyInstance, was just constructed and filled with constant classes), then more optimized proxy version could be generated, without the need to list interfaces as "reflectable".
2. If something like that can't be proven, fall back to general approach, that uses set of interfaces, explicitly listed as "reflectable"