Adding qnighy/IPC-Coq basic defs
simplified DLI.v (removed other representations)
moved PProp into DLI
tactics added - up to DLI_dec slightly cleaned
DLI_dec barely cleaned up...
initial types add/update to props
renaming (removing DLI etc)
name change
del
types lightly injected
cleaning
cleaning