Add in dialyzer behavior info

I changed the behavior to have a new style syntax that will enable it to work with dialyzer, but will require erlang R15 or greater