* renamed Exp to VExp
* added AnyExp and SWrapper to support input type compatibility rules