Finished the templating section, largely while consumed by trying to come up with what the dual of a template is... I hate it when things are named poorly, it makes abstraction much harder, having to mentally translate between concepts their labels becomes much slower