Remake of SDK: Now a group elements does not know what group it is a
member of, and the group operations are done in the group. This changes
the arithmetic syntax, but makes JSON-stuff alot easier.