some checks are semantic checks... others are style. i haven't really seen an attempt to split them, but would like to.