Typescript Spec for Typeguard

[yuit]

Since we have changed type guard behavior in PR #1621, #1433, should we update the language spec to reflect these change?

[danquirk]

We should make sure we have spec issues for any other changes since the last update.