Package renamed to type-proxies