Allow variables to be mapped to arbitrary CoreExprs in vectorisation monad