added target for running dialyzer and fixed some type errors
Merge pull request #15 from ruanjonker/rjdev

added target for running dialyzer and fixed some type errors