[LangRef] Move catchpad to "Other Operators" (NFC)