The Brick language spec