Swift type checking and semantic analysis for developer tools
Preview release with member and disjunction constraints implemented.
First preview release with basic Hindley-Milner type inference implemented.