-- more explicit setup instructions on intro.md
-- fixing process/kernel-handler invocation in shell
-- debug instructions in into.md
-- fix neglect to return eval-result