The full artifact for the design of initial version od the LiquidJava language is available at https://zenodo.org/record/7632872