Add type tags for syntax parsing.
Initialize type checking.