VariableAbstractMap - Implemented union. not tested.