scratch proto

Design language spec