PLAY: Changed typed type-decls prototype to use match instead of cond