This is very exciting! Curious to learn more about how the linear types fits into the picture here?