let rec convertList (plist: param list) = match plist with
        []              ->  []
      | Par(id,t)::ps   ->  [Dec(id,Basic(t))]@convertList ps