added OptionT
added typeclass instances for standard types
added ListT monad transformer
added some specs