Added check rules; lam_rs and lam_p are now full systems.

still need to proof read