New types

typedef kernel_cap_t lids_cap_t;

typedef int lids_perm_t;