Closes #131 (closed) by introducing the OpTTypes. Mscbdecomp and other ideas get separate followup branches.