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
Merge pull request #2 from nojb/args-with-gadt

Use gadt to describe procedure's signatures
better error handling and reporting
eval: fix conversion of numbers to words
eval: fix conversion between words and numbers
prim: split off LogoControl from LogoPrim
control: add 'catch', 'throw'
control: move exceptions to LogoControl
control: add 'pause', 'continue'
control: add 'ignore'
rename LogoEval.execute -> LogoEval.instructionlist
control: add 'do.while'
control: add 'while', 'do.until', 'until'
arith: add 'random', 'rerandom'
arith: add 'form'
arith: add 'bitand', 'bitor', 'bitxor', 'bitnot'
prim: add 'lessp', 'greaterp', 'lessequalp', 'greaterequalp'
prim: rearranged LogoPrim