Wrote introduction to haskell-wayland in README.md.
Made interface type constructors more type safe.

Removed TODOs and FIXMEs that were already fixed.