Implemented BoolType#And and BoolType#Imp