Fixing errors pointed out by dialyzer

Fixing type and pattern matching errors noted by dialyzer
Merge branch 'fix-errors-pointed-out-by-dialyzer'

Closes-github: #10, #11
Add Gianni Gambetti to CONTRIBUTORS
Build Dialyzer PLT for Makefile dialyzer target
Version 0.4.6