added typeValue to TypeProvider and evaluator support for TypeExp