update URL in top-level README
tweak build notes
delete unnecessary assumptions on in_funspace_abstract theorem
update some READMEs
Merge remote-tracking branch 'origin/master' into init_env
Start a refactor

So that the initial semantics envs don't depend on the compiler.
However, it is incomplete and doesn't build.