16:53:49Brucio-61beach: i pushed support for the abbreviated type declaration syntax to the 6beach branch. you should be able to simply pull the change
20:28:45bikeI fixed up the virtual machine "cross" system so it can compile and eval in arbitrary first class environments again. and wrote out an example https://github.com/clasp-developers/cvm/tree/main/Cross
20:29:04bike(despite still being in clasp-developers at the moment, this works on any implementation)