Steps toward tuntime type checking in dart2js.