Text this: Automating Boundary Filling in Cubical Type Theories