added readme and snippets for more complex type expressions