Remove FIXME notice about min_cov_type
Remove 1+() wrapping from some fixed && tests
Implement & test boolean ||