Split TypeChecking.Definitions