removing extentional definitions as it was buggy
including beagle's recent version + test with appropriate extensionnality theorems
Readme