a little evaluator for well scoped terms