convert float token strings to Haskell readable strings
move init_env
prune type vars before calling knormal
fix some warnings