The Brick language core library