Extending STR to a Higher-Order Consistency