prototype: Do not check for stuck types in `checkEqualSpine'.
prototype: Remove unused TypeCheckProblem.
prototype: Use two contexts to check equality

Now I'm stuck on Language.agda as well!