objectionary/lints

A collection of style checkers for XMIR: they don't predict runtime errors, but prevent compilation mistakes