subtract package:Agda

Subtract from each element.