Testing out frameworks for Openclerk2