Type in 'val' declaration optional
URL font
Forgot to add bibliography in syntax.tex
Loosen dependencies and set tested-with to new GHC