prim: use gadt to describe procedure's signatures
Merge pull request #2 from nojb/args-with-gadt

Use gadt to describe procedure's signatures