More work on composition.tex

Also added Span example to double.tex