CapPCF: well-formed terms