Add type signatures to build with ghc-7.8.2
more Direction / arc updates