Started adding 'a arrays
Type soundness fixed
Fix type inference
modLang and conLang proofs fixed.
Progress on exhLangProofs
Fix exhLangProofs
Work on patLangProof

Completely replaced the proof of do_app_pat_correct as this was easier
than understanding the previous proof. do_app_pat_v_pat is cheated, but
everything else works in patLangProof.
Tweak
Start of a CakemL reference manual.
Merge remote-tracking branch 'origin/alpha_vector' into alpha_array
A paragraph on equality
Some musing on what could go into the manual

In outline form
More work on the manual
More work on the manual
More manual writing
Merge remote-tracking branch 'origin/master' into alpha_array

Conflicts:
	semantics/ast.lem
fix type error in initialProgram.lem
commit some changes to generated lem files
prove cheats in patLangProofScript.sml
update a few proofs in free_varsScript.sml