Integrate type checking tool.

[shawnkoon]

Problem

We need to make sure type is checked on CI/CD && development via vscode.

A.C

• Type check is integrated in Travis CI.
• Make it easy to perform type check on vscode.