Lifted TODO/FIXME from Idris/AbsSyntax.hs
Lifted TODO/Fixme from Coverage checker.
Lifted TODO/FIXME from  IRTS/Compiler.hs
Merge pull request #1743 from jfdm/fix/lift-fixme-todo-1

Lifting of TODO/FIXMES