I don't find them unclear at all, after reading the introduction I felt pretty comfortable with everything that was going on in the examples. I think this type

I don't find them unclear at all, after reading the introduction I felt pretty comfortable with everything that was going on in the examples. I think this type of approach you're going for can work depending on how it grows to cover more complex cases like loops. I'll be keeping tabs on how your work progresses.