Updated TODO
Added a list of reserved identifiers (names)
Added a case for Decl in grabKernelParams'