refactor snapshot enrichment into ShellTypedPipe for better type inference, fix implicits
add ReplTest (currently just checks to see if things compile)
comments