- Fix bug in garbage collector
- Fix fixity of step
- Fix return width of step (always 1)
- Update thermostat
- Add Matheus' thesis to the publications

Bigger demo mTask3 doesn't work for some reason...

- float program added to view the binary float representation
- changed dht to work with tenths of degrees to avoid floats
- added some examples for testing floats

- increase serial buffer arduino compatibles
- let ever store the tree instead of the function
- try to robustify encoding

Simulator supports tuples now, liftSDS not yet

Also fix types synonyms for return instructions