5th week of GSoC coding. Restructured type checker.