Fixed issue importing DSL from State::Machine::Simple, Added transition deducing functionality.
Standardized importing of type-checking functions.
Updated POD, Makefile, README, etc.