With type systems becoming ever more powerful and in some cases approaching Turing-completeness, the distinction between code and types seems increasingly artificial.How feasible would a purely type-only language be? any thoughts are welcome