Type ObjectProxy more precisely; drop unsafe cast

[bennostein]

Noticed this the other day while investigating #648 ; giving a better type to ObjectProxys lets us avoid the spooky expr as unknown as type cast