Spelling corrections, type fixes, space/tab mixing standardizing, and schema formalization