Update .gitignore (*.hi files)
Generate Apply type instances for type level symbols