Annotation tool for Enumerative Structures