Change banner printout and add TODO reminders
Reformat C code in grammar file core.y