pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation. - Triera Gashi; Sophie Adeline Solheim Bosio; Joachim Tilsted Kristensen; Michael Kirkedal Thomsen (CoRR, 2023)