no strengthening
bool ops
fixed strengthening
allow notin dom judgments as premise of type rules
fix rule