module documentation

Undocumented

Class CoreTests Tests for Automat's (currently private, implementation detail) core.