An erlang spec validation library.