Implement AND binary operator; fix hidden bug in term() definition
Monotonic spec is 'backwards' for AND
Conversion of threadwise to elementwise specification