Cleaned up type specs for dialyzer #4