Changed all HALOT references to \haref. Fixes #82.