Simple language for specifying terms of a sesquistrict rig signature Typechecker for these terms Conversion of terms to tape diagrams Generation of TikZ code for rendering tape diagrams The executable ...