Rule out messages with abstract types in the type checker#247

nomeata wants to merge 2 commits intomastercaffeinelabs/motoko:masterfrom

joachim/no-poly-msgscaffeinelabs/motoko:joachim/no-poly-msgsCopy head branch name to clipboard