sail

Make sure pattern completeness checker works with abstract types

C: Fix an issue with abstract types with no uses being eliminated

Add support for JSON comments

SV: Add option to turn assertions into exceptions

Fix error message when config items aren't found