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
removed comments and unused variables. Also identified the following cases to be missing (or have incomplete) implementation in the Type checker:

Actions:
caseAParametrisedInstantiatedAction
caseAAlphabetisedParallelismReplicatedAction
caseAChannelRenamingAction

Processes:
caseAInstantiationProcess
caseAReferenceProcess
added m2e ignore for enforcer
updated util ant script maven version
code format + cleanup
added missing location (there were a path that skipped the after case for a node)
removed double ;
fixes #200
close #201

the type checker now handled renaming actions/processes correctly.

AComprehensionRenameChannelExp is marked unsupported as an error
updated type check of areference action to match acallaction
updated the interpreter to use the same behaviour for AReference and ACall Actions
fixes #202 this merges ACallAction into AReferenceAction such that there only exists a single node for refering to actions.
fixes #203 improves the implementation of process referencing in the type check to do a proper check of existens and argument type match + size
added fixme to the last known incomplete checks