A new type of terminal that SMASHes the terminal-shell dichotomy - View it on GitHub