In this paper, we propose a more compositional fragmentoriented approach to the problem of expressing new semantic structures.
we introduce a single extensible statically typed language, typy, that gives library providers the ability to define new semantic fragments.