cleaned up sl/examples. added an example with redefinition of something called Option.