Fixed grammar issues in introduction
Fixed definition of multiset difference in preliminaries
Fixed grammar in P system definition
Fixed other grammar issues