Another checkpoint commit. This makes it work, I think, but it is prohibitively restrictive (cant do <expr>* / 'a' because the star has a vector value)