adding grapsh
using defrecord cleaning a lot of deftype misfortunes
fixing :pre
adding expectations
using extend in order to enable :pre also more correct modeling