Renaming alternate type names

Proxy is now Proxy Decision Maker
Informant is now Proxy Information Provider