more fixes for #lang pyret update