started implemented purity verification in type checking