checkContext (Quant name t c) context =
  do checkArgType t context
     checkContext c (concatTerm context name t)
     return ()


-- | Returns the type of the object passed in if there's no errors.
checkContext (Quant name t c) context =
  do checkArgType t context
     checkContext c (concatTerm context name t)
     return ()


-- | Returns the type of the object passed in if there's no errors.
checkContext (Quant name t c) context =
  do checkArgType t context
     checkContext c (concatTerm context name t)
     return ()


-- | Returns the type of the object passed in if there's no errors.