social: typechecking globals

All these globals are terrifying. But 3rd parties horray