Merge pull request #352 from wcwang/next

[Notification] Applied type checking