added dialyzer support and color to makefile
delete deps on clean
added type specs to source and revised validate