No, unfortunately this hasn't been implemented.
I believe that this is the current code snippet:
src/pac_type.h: void AddCheck(Expr *expr) { /* TODO */ }
We should update that README to make that clearer -- or just implement
it, of course. 
--Vlad
"D. W." <brot212@googlemail.com> writes: