add a holSyntaxSyntax library, using HolKernel.syntax_fns
rename hol-light/stateful to hol-light/standard and update README
rename "environment" to "signature" in the hol semantics

might not have caught every instance...
fix proof broken by last commit
add select_has_model_gen

for making select models with a particular interpretation of the select
constant
pull out good_select_base_select as a separate theorem
prove is_bool_sig_extends and is_std_sig_extends
prove infinity_has_model_gen

allows specifying what we want the indset to be
fix name of the word8 case of type_e. fixes #1.

the generated script file is unaffected
some theorems about interprets when applied to 0 or 1 arguments
Merge remote-tracking branch 'origin/master' into init_env