ensugars synthetic bounds on TypeBoundsTrees