Added HasVars instance for :&: