Using type checks in operators allows to generate much better code by dart2js