How will this compare to Shen ( http://www.shenlanguage.org/ )? In my experience it has a more expressive type system than Taf.