scratch proto
Design language spec