note properties for executable types