Homotopy n-types of cubical sets and graphs | Synapse