finish to convert Untype to Typed but not implemente the functions in TypedPCF