checkObject :: Object -> Context -> Either Error Term
checkObject (Var name index) context = asSeenFrom name index context
checkObject :: Object -> Context -> Either Error Term
checkObject (Var name index) context = asSeenFrom name index context
checkObject (Var name index) context = asSeenFrom name index context