Factor value_behavior out
Remove this_type
Update future work
Eliminate get_nested and placeholders
Refactor operator==