add '/-inverse' primitive