BoolType no more needed