Full Cool typechecker