(proxy? obj [kind [type [st]]])
any [symbol [symbol [symbol]]] ->
 boolean
If no additional arguments are given, is returns whether obj
is a VRR
 proxy. Otherwise it also checks the given type information
– whether obj kind is kind, obj type is type and obj subtype is st.
   
 (proxy-kind proxy)
proxy ->
 symbol
Returns the kind of proxy.
   
 (proxy-type proxy)
proxy ->
 symbol + false
Returns the type of proxy.
   
 (proxy-subtype proxy)
proxy ->
 symbol + false
Returns the subtype of proxy.