adding examples for record type creation and exhaustive patterns