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
Because I just want to take care of the part of the tree which contains the rules.

I can modify the function is_petri_net to receive a complete tree.