variables now print their types using Type::toString() instead of Type::toCString(), allowing the method of printing the type to depend on Type::printAsML
variables now print their types using Type::toString() instead of Type::toCString(), allowing the method of printing the type to depend on Type::printAsML


angavrilov/olmar,angavrilov/olmar,angavrilov/olmar,angavrilov/olmar