updated AbstractionSet interface, reorganized so more helper functions are methods