DFA⇒NFA half done
Merge branch 'master' into banacorn
discards terms with unsolved metas
restructure the whole codebase
define NFA, remove cyclic dependencies
NFA run & accept
banana
Merge branch 'master' into pi314

Conflicts:
	Automaton.agda
refine tool of processing agda output