Bug fixes and syntax change in positive assert clauses `assert type e1 = e2; ...` and `assert num e1 <= e2; ...`. Testing exported code: do not warn about all pattern matching branches guarded. Some test cleanup.