The DiSTiL language construct for specifying compositions is called typex. [switch to IP with the file “simple.ip” loaded to demonstrate a type expression].