reduce type equalities for pi
forgot to add prelude
add little test
get rid of utf8-string