[PD-dev] type of x-lets of an abstraction