Add func types and string representations
Support user defined lambdas
Implement IO
Start work in maintime interpreter