distinguishing between singletons and nullary constructors in cases expressions
making pattern locations more precise in AST, for use in error messages
new bootstrap with better locations on cases arity/singleton errors