Type specifications added and refined

Moved the general type specs to floppy.hrl
Added quite a few more specs to callback functions