add Boolean 'and case (type-isomorphic to Integer max)