adding ListVar to pattern-to-term so we can treat * lists