Second lift of TODOs and FIXMEs from Idris source.