Adds negative kerning between right quotes and punctuation.
Updates protrusion characters.
Uses lmodern package.
Updates order of packages to deal with compatibility issues.
Removes general theorems in favor of simpler NPEq theorems.