started restructuring.
TypeChecks after adding Compile instance for Empty. Forgot it.
Made a whole lotta noise.