Add impls on structs
Add checks for missing type_tree arg