simple input (from stdin with prompt) by free variables in main term is done
Merge branch 'io' of github.com:ramntry/SLL into io