First lift of TODOs and FIXMEs from source to Issue Tracker.

First, of the many lifts of the TODOs and FIXMEs from the Idris source to the Issue Tracker. I have tried to put as much information as possible about the FIXMEs and TODOs in the issue box, but it will need more elaboration. Remember, I am just repeating the message.