More work on finding common roots, now we can lift the sugar from our base types to see what is hidden undearneath