Add vrexpr module declaration