A Directed Simplex Type Theory engine programed in Haskell