Merge pull request #14 from ruanjonker/rjdev

Rjdev
added target for running dialyzer and fixed some type errors