Embed Notice

@vascorsd @feld Haven't touched it in ages but good to see that there is still momentum. I can recommend dipping your toe in it, I always enjoyed it. A bit verbose but nice.
Also good to see where refined types are coming from. But be warned: you'll likely miss them instantly in other languages. ;-)