slime.checks.tests
Classes 
TestExpressions
TypecheckTest
WellformedTest