Removes breaking-checking from typechecker and moves it to a new atomicchecker