Update record transformation and add a little more structure
Add bussproofs package for inference rules
Add new theoremstyle for transformations and examples (with newline after caption)
Add KICS2 Manual to bibliography
Work on record transformation section