Composable constraints / Papers QISS1 / By Qiss Matt Wilson, Augustin Vanrietvelde Oxford Computer Science Preprint: 2112.06818