Merge pull request #1 from nojb/float-numbers

Use floats instead of ints for numbers
prim: add 'type', 'show'
prim: use gadt to describe procedure's signatures