Refactor language for simplicity
Refactor language for much simplicity
Add `these` dependency
add comments