driver: import foreign boxed tycons from interface files
code: add Ref type to base library
demo: make freezing example use new ref type
core tetra: remove Ref# type, it's imported via the FFI now