Register projection obligations
Require that all assoc types are specified.