finishing out composable combinators and documenting them
slight cleanup; documentation