Semantic checks for Lit.