corrected parser errors in these models mainly || and ;
Updated the type checker to issue warnings when parallel actions doesnt mention the variables in the namesets which they assign to.

fixes #185