working on specification of operators, destructor, String.upper, String.lower has been implemented, bugfix