Introduced ImplicitValueType abstraction