This is welcome news. Qi (the predecessor of Shen) gets mentioned every now and then in programming language discussions (eg. it has a Turing Complete type system), but I've refused to try it so far due to its non-Free license.