minor fixes and a better Slang to string conversion (non-formal)...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>