Prioritize constrait errors over generic errors

Following up from this discussion

• @sornas started a discussion: (+1 comment)

I think the underlying cause of this is that when type inference finds out = a[2:0] it'll infer out :: [T; -2] before checking constraints. In general, I think we may want to try to evaluate constraints and reporting those errors before reporting errors from failing equations.