### A live, but non-live+, typing context.
###
### Copyright 2018 Alceste Scalas <alceste.scalas @ imperial.ac.uk>
### Released under the MIT License: https://opensource.org/licenses/MIT

s[p]: μ(t)q⊕{m1 . t, m2},

s[q]: μ(t)p&{m1 . t, m2 . r⊕m3},

s[r]: q&m3