Make Explore.Summable typecheck
Added a README file