pubmodinterval_semantics;pubmodsemantics;pubmodshrink_outer_first_extension;// TODO: try a semantics where types can be graphs?
// higher order functions (with non-variadic number of args) that take a signature?
// and can store any concrete op that matches the signature?