fix comment
add some tests demonstrating extraction and conjunction
replace shapelist's HLists with plain tuples for routing (many implicit instances still missing)