Combined oracle-signature compatibility facade

Canonical signature inclusions and their operational laws are provided by Coercions.Add.Basic.