Before chaos typechecker