Petri net checker

I have added typechecking.{c,h} and modified the Makefile.am to compile mist with this two files.

There are no errors when compiling but I didn't test yet the functions