Make some tests in main work again. Add constructor for SymParser and function opt(), dot() and nil()