added target for running dialyzer and fixed some type errors