Reindent everything by 2 spaces
Unify decode, decide and known
Add a Mux circuit primitive