val

Merge pull request #778 from val-lang/more-mangling

Apply swift-format

Rewrite mangling tests

Reduce the mangled representation of qualifications

Merge pull request #773 from val-lang/lowered-to-ir