Dialyzer specs…

…and https://github.com/thethz/jiffy-v/issues/4 fix