started implementing explicit macroexpand-all