Ex. 16.3 is done
Fixed account, apparently I screwed up making it use a weak table for the proxies
Ex. 17.1
Ex. 17.2
Ex. 17.3 -- found two semi-reasonable ways, but nothing I'm terribly pleased with
Ex. 17.4