Circular dependencies

[tanenbaum]

if a extends b and b extends a then go round and round forever.

Should be very straightforward, we just need to maintain a stack when following extensions.

Either the system should just go one level deep, whichever area is demanded first, or it should refuse to compute it with a suitable 500 message.