UIP-0122 How to extract parent core axis from type

[belisarius222]

I'm confused about something in the %wild hint proposal. How can a function discern from the type alone what the axis of the parent core is? In the ~% hint, that axis is specified as a subexpression, but I don't understand how that information should be encoded in the Hoon type for that core. @matthew-levan was able to get the core name extracted from the ~% hint and stuck into the p.garb.coil of the core type, but I don't know where the parent core axis could be applied to the core type -- maybe something with the seminoun?

cc @joemfb

[joemfb]

The axis can be computed during the wild-constructing type traversal, with the usual (peg 2 axe) and (peg 3 axe) as appropriate. It should also be computed and checked during normal compilation.