Starting to get type-extract working with unbuilt-procedures. Not quite working yet.