added Typeable instances for Succ/Zero from `monotraversable`
added `asString` as a help for the type inferer