Adding a whole bunch of type specifiers
for dialyzer and for myself