Agda.TypeChecking.CheckInternal