distinct sectioning and separation of type checker definitions