Support print as builtin functions.
Use the Unknown type
Add deriving statement.
Don't substitute to bound variables.
Merge branch 'builtin-function'