added insertAt function to Vect
changed the definition of insertAt
Add a prim__systemInfo primitive.

Add System.Info with os and backend functions.

Add system info to JS and C backends.
Add Prelude.Vect.transpose

Test adjusted due to name clash.
Add a decision procedure for Data.Vect.Elem
Add staticEff/toEff

Sometimes when working with effectful programs which change state, you
need to give the intermediate effect state explicitly, which can be
inconvenient with (>>=) especially, so these functions make it easier.

toEff is especially useful with 'case' blocks which branch the effects then
rejoin after.
New matching rule for solving simple functions

This applies only at the end of unification: if a constant function
returning a constructor form would solve a metavariable, fill it in.
In type-directed search, handle an additional possible case when processing unification results.
Merge remote-tracking branch 'upstream/master' into typeSearch
Improve appearance of type search results.

Additionally, I refactored some of the Output code to eliminate some
code repetition.
Add Help/autocomplete information for :search
Forgot a comma in adding a help entry for :search
Merge pull request #1264 from melted/sysinfo

Add a prim__systemInfo primitive.
Merge pull request #1270 from Melvar/vect-things

Add transpose and proofy isElem
Merge pull request #1271 from bmsherman/typeSearch

Fix error and improve appearance of results in type-directed search
Merge pull request #1272 from jeffersoncarpenter/vect-insertAt

added insertAt function to Vect
Bound on 'parsers' due to build failure

parsers 11.0.2 currently fails to build - presumably temporarily -
remove the constraint when this is solved.
Let's try that again, but with the 0. ...