Spelling corrections, type fixes, space/tab mixing standardizing, and sc...

...hema formalization