chi-top-sequence defines macros before expanding other exps