Add exampe fifo_types module, most likely with errors
Update fifo_types:empty/1 spec to properly scope input to lists
Update call to fifo_types:pop/1 in fifo_types:test/0 leaving the existing spec
Add zoo module with a known mistake
Add polymorphic types to expose the bug in zoo:main/0