Make identifiers case insensitive, several other small changes.