Changed infinite to a constexpr function
Universal Ref -> Value
detail -> basics_detail