made catchable ops importable

Added `Catchable` ops to syntax package and blanket import. I realize this is a janky typeclass but we either need to make it usable or remove it.