Type-based vs. Value-based Reflection