Pla: redundant manual types removed