Fix bug in manual type propagation for matched lists which removed the VarRef constructor around the LHS of matches
Fix bug in manual type propagation for matched lists which removed the VarRef constructor around the LHS of matches

metaborg/dynsem,metaborg/dynsem