getAxiom cleanup
isLogicalAxiom/isAnnotationAxiom methods cleanup
various minor simplifications
top/bottom object/data properties
isData/Object expression cleanup
top/bottom entity methods cleanup