add a type signature to make GHC 7.8 happy
update info about installation and backends