Add stricter expression checking and unary operators
Change unary operators to right-assocative and higher priority