arti.ml: minor style cleanups
small but controversial simplification of Sig
Merge pull request #9 from gasche/cleanups

Cleanups