Comment for the constraint_* functions
Adding pretty-print to Set and Map
Adding bound-getting functions
Making abstract = env visible
Adding "to_string" function for constants