type-extract works on primitives again but probably not compound procedures.