Introduce Coral type system abstraction#558

wmoustafa merged 5 commits intolinkedin:masterlinkedin/coral:masterfrom

wmoustafa:coral-type-systemwmoustafa/coral:coral-type-systemCopy head branch name to clipboard