Create README.md
type parsing for C finally (mostly) works
clean up the definition of the C parser state and the IdentifierParsing type family
write down an idea for allowing parameterization of C type parsing