(temp-commit) more conversion to new type decls ...