PSet -> PType
Update display of Set to Type
Allow documentation comments for records.

It was a parse error before.
Defined Alternative.
"guard" doesn't need MonadPlus, just Alternative.
Alternative instances for Maybe and List
You know, 'when' doesn't need Monad either.
Defined (<$) and ($>), analogous to Haskell's (<*) and (*>)
'sequence' and 'sequence_' don't need Monad, either.
infixl declaration for (<|>).

Oops, forgot this; wouldn't want to cause weird parser errors.
We no longer need MonadPlus, now that we've got Alternative.
Rewrote 'mapM' and 'mapM_' as 'traverse' and 'traverse_'.

It only requires Applicative, now, too.

This should be generalized eventually to a Traversable class, but I
don't think this is a bad way to start.
lines isn't words

A very small fix, fixing "lines".
I assume this something someone forgot to fix after a copy/paste from the definition of "words".
make TT aware of Set -> Type
Merge pull request #133 from ozgurakgun/fix-lines

lines isn't words
Merge pull request #130 from startling/alternative

Some changes for `Applicative`
Merge pull request #128 from startling/record-doc

Allow documentation comments for records.
Mark traverse_ partial
Merge branch 'type' of https://github.com/raichoo/Idris-dev into raichoo-type

Conflicts:
	src/Core/TT.hs
	src/Idris/AbsSyntaxTree.hs
Make traverse_ total