Type aliases and check#8

sprat merged 2 commits intomastersprat/pego:masterfrom

type-aliases-and-checksprat/pego:type-aliases-and-checkCopy head branch name to clipboard