label fix and resolution order diagram plus minor changes

fixed label from type-systemresolution-order to type-system-resolution-order
added resolution order diagram based on Simn's graphviz one
added underscore package to markdown latex template
extracted the flowchart arrow style into a named style for general usage
added simple preview batch file
added a couple of latex files to ignore