psym-type-defn.exp   [plain text]