Revert type rules stuff

Reverts 6c77aae73217de6a44b545e2f66a2f369a02e23f and
ddbd95dc3ea42d2ee4e8028d7cff7c1eab0da0ce.
LaTeX styles
Make links more readable
Notes about semantics
Bibliography