changed: restructured readme, added predicate reference
added: subproject for nondeterministic finite automaton