Add type validation to getter and setter methods.
Add dialyzer line to Makefile.