Definitions for "abstract value a"
a set of abstract constants and abstract closures