Tighten a typespec
Add hex.pm badge