Complete the type checker.
Add i16 type.
Update README.