A spec library for Elixir