Erlang data structure checking library