Problem: "make proto" doesn't work well. Solution: Define a few more types for cproto. Update proto files. Fix that workshop didn't build.