WIP on QUASIEXPAND (still not quite right)