external minus    : t -> t -> t = "vec2_minus"