Text this: Canonicity and homotopy canonicity for cubical type theory