Text this: Bounding linear head reduction and visible interaction through skeletons