Updated Racket code
Switch types for new L2, graph passes all tests
gen script
Misc cleanup