Updates SG abstraction, note that it should probably be rewritten to take...
Updates SG abstraction, note that it should probably be rewritten to take transaction lengths into account at the type level
Updates SG abstraction, note that it should probably be rewritten to take transaction lengths into account at the type level