README: fix minor typo
Fix -spec syntax in triq_dom:sized/1
triq_dom: minor comment fixes
Add file local vars
Fix formatting