glas*: Main Glas, and supporting elaboration scripts