Class proxies
Generic typing rules