Dialyzer

Add dialyzer and PLT tasks to the Makefile, supply some smaller dialyzer fixes.