Rename BoolType.java to BoolDTYPE.java