`seq` field in .proto

Closes #5