Text screen buffer access (2)

Using Predicate Based Subtyping