Fix typechecking of list* with no args.