changed init-primitives to work with e:cons, changed type-extract to be able to pull thnigs out. changed tpe-intervals to have cell-map which can turn a list in the propagator sense into a normal list.