Added Lint script. Fixed a lot of annotations, style rules, etc.