catchable on Syntaxes and ToTypeClassOps
Merge pull request #735 from tpolecat/catchable-syntax

made catchable ops importable