Adding Union Types and Type Guards to Language Specification

Are we okay with these `�`s in the markdown? Can we convert smartquotes to regular quotes?