Updated interaction tests

Module contents command takes a simplification arg now
[ issue1208 ] Support for quoting literals
[ issue1208 ] updated test cases
[ issue1208 ] Added primitive equality for Floats

Needed for decidable equality on reflected terms now that
you can reflect literals.
Merge branch 'quote-lit'
Unquoting literals
test case for unquoting literals
Merge remote-tracking branch 'upstream/master'