Fix a typo in the tutorial.
Simplify evaluator
It tries to support too much, but since it's part of the kernel it should
do as little clever stuff as possible. Now just normalises, simplifies or
specialises, the latter two simply meaning that certain names are blocked
from being reduced.
vim: highlight refl
vim: highlight metavars with quotes
Allow simple function types to be reflected
Delete unused code
Merge pull request #448 from ziman/tutorial-typo

Fix a typo in the tutorial
Merge pull request #450 from raichoo/vim

Vim
Merge pull request #451 from Ralith/rts-cleanup

Delete unused code
Ignore initial whitespace and comments in REPL
Merge pull request #453 from Melvar/repl-initial-whitespace

Ignore initial whitespace and comments in REPL
Remove unused syntax for 'InferRef' definitions
Was only meant to be temporary! (InferRef are names in where clauses whose
types are to be inferred)
Move universe level check to after all modules are loaded
...otherwise it gets repeated needlessly for every module
Use atomic allocations when safe in LLVM codegen.

This reduces the amount of memory Boehm has to scan.
Correct documentation for --cpu

Target architecture is described by the triple. --cpu specifies a specific CPU within an architecture.
Merge pull request #455 from Ralith/atomic-allocs

Use atomic allocations when safe in LLVM codegen.
Merge pull request #457 from Ralith/patch-1

Correct documentation for --cpu
javascript: factor out translation of decls
javascript: factor out translateCase
javascript: factor out jsDecl