Workaround Lean Prolog parser bugs with operators