This thread is extremely interesting.
However, I think we're mixing two things here:
1. Defining semantically disjoint and intuitive bar line types (e.g., final measure ending bar line, start of repeat, end and start of repeat...)
2. Describing how a bar line type should be displayed