started some sort of a kernel typechecker

contexts contain declarations with optional definitions;
context extension is the key operation