pattern 12: and

parameterized by W. valid on word type only.

abstract:   and_W(a, b) → bitwise conjunction over W bits
canonical:  v_a ∧ v_b (32-bit AND)

cost: 1. constraints: ~32.