allow a or w to be scalar
add and and or.
monadic | is abs.