Update examples and prelude for 0.5