GroupAction abstraction for Torsor

This adds GroupAction, ops for group action, and ops for Torsors.