By: Tom Sydney Kerckhove <syd@cs-syd.eu>
Arith: move type lookup into operatorMatch guard instead of panicking in action