value type_is_num(value f) { return op_is_type(f,type_num); }
value type_is_void(value f) { return op_is_type(f,type_void); }