If Sedela expresses a new form of semantics, perhaps that new form is called 'Propositional Semantics'.

[bryanedds]

Only a portion of Sedela's semantics will have a denotational semantics. The remaining portion are propositions - user-defined equivalences between a type and a natural language sentence. 'Propositional Semantics' would thus be a superset of denotational semantics.

If this all follows, then document should be updated to utilize this new term along with an explanation thereof.