ast: update type signatures

Use Anf type alias in type signature for `valued` and update the type of
`gensym` in the export list comment.
README: reorder intro and last sections
typoc: recognize --help flag

Recognize the short -h option as well.