First step towars a new symbolical world

+ Written an hypothetical interface for SymbolicArgumentsSet