Text this: Cubical Sets and Trace Monoid Actions