Adding much nicer dealing with the 'redundant becauses' They now make 'or' clauses, but have nice(ish) error messages if they can't