WIP on QUASIEXPAND