implement bisimilarity check
restructure module hierarchy
add documentation comments
add script to upload documentation
add missing documentation comments
implement isomorphism checking