User blog comment:LittlePeng9/Higher order set theory/@comment-10429372-20140926180316/@comment-1605058-20140926182619

And yeah, this extension would be actually possible. Deedlit has already suggested something like this.