diff --git a/site/demo/zip.cast b/site/demo/zip.cast
deleted file mode 100644
index e51aa86..0000000
--- a/site/demo/zip.cast
+++ /dev/null
@@ -1,639 +0,0 @@
-{"version": 2, "width": 80, "height": 24, "timestamp": 1790248578, "idle_time_limit": 2.0, "env": {"SHELL": "/bin/zsh", "TERM": null}}
-[0.260562, "o", "$"]
-[0.285322, "o", " "]
-[0.309293, "o", "l"]
-[0.33392, "o", "e"]
-[0.358843, "o", "x"]
-[0.383477, "o", "-"]
-[0.408167, "o", "c"]
-[0.43283, "o", "o"]
-[0.453507, "o", "d"]
-[0.475737, "o", "e"]
-[0.500416, "o", " "]
-[0.525128, "o", "-"]
-[0.546237, "o", "-"]
-[0.568005, "o", "o"]
-[0.592815, "o", "l"]
-[0.617429, "o", "l"]
-[0.642365, "o", "a"]
-[0.667062, "o", "m"]
-[0.691787, "o", "a"]
-[0.716594, "o", " "]
-[0.741537, "o", "\""]
-[0.766438, "o", "i"]
-[0.790999, "o", "m"]
-[0.815751, "o", "p"]
-[0.840577, "o", "l"]
-[0.865334, "o", "e"]
-[0.887836, "o", "m"]
-[0.91261, "o", "e"]
-[0.937553, "o", "n"]
-[0.962266, "o", "t"]
-[0.987009, "o", " "]
-[1.011484, "o", "f"]
-[1.036157, "o", "n"]
-[1.060815, "o", " "]
-[1.08539, "o", "z"]
-[1.109552, "o", "i"]
-[1.134329, "o", "p"]
-[1.158991, "o", "["]
-[1.181984, "o", "A"]
-[1.206651, "o", ","]
-[1.227862, "o", " "]
-[1.252495, "o", "B"]
-[1.276399, "o", "]"]
-[1.301167, "o", "("]
-[1.324259, "o", "x"]
-[1.346607, "o", "s"]
-[1.371345, "o", " "]
-[1.393139, "o", ":"]
-[1.417322, "o", ":"]
-[1.441935, "o", " "]
-[1.467266, "o", "L"]
-[1.492132, "o", "i"]
-[1.516797, "o", "s"]
-[1.541554, "o", "t"]
-[1.566374, "o", "["]
-[1.591089, "o", "A"]
-[1.615816, "o", "]"]
-[1.640579, "o", ","]
-[1.665391, "o", " "]
-[1.690095, "o", "y"]
-[1.714722, "o", "s"]
-[1.739324, "o", " "]
-[1.764017, "o", ":"]
-[1.788646, "o", ":"]
-[1.813595, "o", " "]
-[1.838275, "o", "L"]
-[1.859997, "o", "i"]
-[1.884528, "o", "s"]
-[1.90904, "o", "t"]
-[1.933756, "o", "["]
-[1.95851, "o", "B"]
-[1.983332, "o", "]"]
-[2.007991, "o", ")"]
-[2.032814, "o", " "]
-[2.057549, "o", "-"]
-[2.082218, "o", ">"]
-[2.106978, "o", " "]
-[2.131936, "o", "L"]
-[2.157017, "o", "i"]
-[2.181734, "o", "s"]
-[2.206334, "o", "t"]
-[2.231048, "o", "["]
-[2.251321, "o", "("]
-[2.275837, "o", "A"]
-[2.298156, "o", ","]
-[2.32297, "o", " "]
-[2.347613, "o", "B"]
-[2.372492, "o", ")"]
-[2.397132, "o", "]"]
-[2.421838, "o", "\""]
-[2.443599, "o", "\r\n"]
-[28.86527, "o", "The\r\n"]
-[28.902057, "o", " user\r\n"]
-[28.938878, "o", " wants\r\n"]
-[28.943747, "o", " me\r\n"]
-[28.987044, "o", " to\r\n"]
-[28.987178, "o", " implement\r\n"]
-[29.034042, "o", " a\r\n"]
-[29.034196, "o", " `\r\n"]
-[29.082259, "o", "zip\r\n"]
-[29.082418, "o", "`\r\n"]
-[29.128483, "o", " function\r\n"]
-[29.12862, "o", " in\r\n"]
-[29.174226, "o", " Lex\r\n"]
-[29.174363, "o", ".\r\n"]
-[29.217575, "o", " Let\r\n"]
-[29.217698, "o", " me\r\n"]
-[29.262032, "o", " think\r\n"]
-[29.262165, "o", " about\r\n"]
-[29.30522, "o", " this\r\n"]
-[29.347466, "o", ".\r\n"]
-[29.392076, "o", "\r\n\r\n`\r\n"]
-[29.444601, "o", "zip\r\n"]
-[29.444725, "o", "`\r\n"]
-[29.494416, "o", " takes\r\n"]
-[29.494555, "o", " two\r\n"]
-[29.494686, "o", " lists\r\n"]
-[29.543587, "o", " and\r\n"]
-[29.592198, "o", " pairs\r\n"]
-[29.640616, "o", " up\r\n"]
-[29.68969, "o", " their\r\n"]
-[29.738895, "o", " elements\r\n"]
-[29.73904, "o", " into\r\n"]
-[29.739163, "o", " a\r\n"]
-[29.789341, "o", " list\r\n"]
-[29.789455, "o", " of\r\n"]
-[29.789601, "o", " tuples\r\n"]
-[29.839223, "o", ",\r\n"]
-[29.887443, "o", " stopping\r\n"]
-[29.887575, "o", " at\r\n"]
-[29.936144, "o", " the\r\n"]
-[29.936283, "o", " shorter\r\n"]
-[29.936458, "o", " one\r\n"]
-[29.9856, "o", ".\r\n"]
-[29.985758, "o", "\r\n\r\nI\r\n"]
-[30.032955, "o", " need\r\n"]
-[30.033095, "o", " to\r\n"]
-[30.033257, "o", " figure\r\n"]
-[30.081191, "o", " out\r\n"]
-[30.081362, "o", " the\r\n"]
-[30.081546, "o", " syntax\r\n"]
-[30.130263, "o", " for\r\n"]
-[30.180599, "o", " tuples\r\n"]
-[30.180745, "o", " and\r\n"]
-[30.237907, "o", " generic\r\n"]
-[30.23804, "o", " functions\r\n"]
-[30.293585, "o", " in\r\n"]
-[30.293714, "o", " Lex\r\n"]
-[30.293853, "o", ".\r\n"]
-[30.293987, "o", " Let\r\n"]
-[30.349966, "o", " me\r\n"]
-[30.350143, "o", " check\r\n"]
-[30.400009, "o", " the\r\n"]
-[30.400138, "o", " language\r\n"]
-[30.450312, "o", " guide\r\n"]
-[30.450529, "o", " and\r\n"]
-[30.450705, "o", " look\r\n"]
-[30.501494, "o", " at\r\n"]
-[30.501611, "o", " how\r\n"]
-[30.557299, "o", " List\r\n"]
-[30.557434, "o", " works\r\n"]
-[30.606451, "o", ".\r\n"]
-[30.606622, "o", "\r\n\r\nLet\r\n"]
-[30.654132, "o", " me\r\n"]
-[30.654268, "o", " first\r\n"]
-[30.654408, "o", " check\r\n"]
-[30.704572, "o", " the\r\n"]
-[30.704753, "o", " std\r\n"]
-[30.704927, "o", "lib\r\n"]
-[30.752996, "o", " for\r\n"]
-[30.802341, "o", " list\r\n"]
-[30.802468, "o", " and\r\n"]
-[30.802604, "o", " think\r\n"]
-[30.852588, "o", " about\r\n"]
-[30.852718, "o", " the\r\n"]
-[30.903192, "o", " tuple\r\n"]
-[30.903315, "o", " syntax\r\n"]
-[30.959748, "o", ".\r\n"]
-[30.959878, "o", " T\r\n"]
-[30.960036, "o", "uples\r\n"]
-[30.960174, "o", " in\r\n"]
-[31.009377, "o", " this\r\n"]
-[31.057979, "o", " language\r\n"]
-[31.108064, "o", " seem\r\n"]
-[31.156913, "o", " to\r\n"]
-[31.157036, "o", " use\r\n"]
-[31.207387, "o", " `(\r\n"]
-[31.207511, "o", "A\r\n"]
-[31.207679, "o", ",\r\n"]
-[31.259391, "o", " B\r\n"]
-[31.259537, "o", ")`\r\n"]
-[31.259707, "o", " syntax\r\n"]
-[31.3095, "o", ".\r\n"]
-[31.309628, "o", " Let\r\n"]
-[31.309794, "o", " me\r\n"]
-[31.364859, "o", " write\r\n"]
-[31.365019, "o", " the\r\n"]
-[31.36516, "o", " function\r\n"]
-[31.365296, "o", " and\r\n"]
-[31.422048, "o", " iterate\r\n"]
-[31.422177, "o", ".\r\n"]
-[31.422339, "o", "\r\n\r\nLet\r\n"]
-[31.478306, "o", " me\r\n"]
-[31.478439, "o", " start\r\n"]
-[31.478596, "o", " by\r\n"]
-[31.478742, "o", " writing\r\n"]
-[31.535029, "o", " a\r\n"]
-[31.593168, "o", " basic\r\n"]
-[31.5933, "o", " file\r\n"]
-[31.593439, "o", " and\r\n"]
-[31.593569, "o", " iterating\r\n"]
-[31.649121, "o", ".\r\n"]
-[31.649253, "o", " First\r\n"]
-[31.704554, "o", ",\r\n"]
-[31.704708, "o", " let\r\n"]
-[31.704839, "o", " me\r\n"]
-[31.704971, "o", " check\r\n"]
-[31.761097, "o", " list\r\n"]
-[31.817488, "o", " std\r\n"]
-[31.873277, "o", "lib\r\n"]
-[31.873418, "o", " to\r\n"]
-[31.873575, "o", " understand\r\n"]
-[31.873721, "o", " List\r\n"]
-[31.930283, "o", " operations\r\n"]
-[31.930421, "o", ".\r\n"]
-[31.987013, "o", "I\r\n"]
-[32.042499, "o", "'ll\r\n"]
-[32.042613, "o", " implement\r\n"]
-[32.042757, "o", " `\r\n"]
-[32.042894, "o", "zip\r\n"]
-[32.111983, "o", "`\r\n"]
-[32.178841, "o", " in\r\n"]
-[32.178953, "o", " Lex\r\n"]
-[32.179128, "o", ".\r\n"]
-[32.179217, "o", " Let\r\n"]
-[32.179335, "o", " me\r\n"]
-[32.245637, "o", " first\r\n"]
-[32.245756, "o", " check\r\n"]
-[32.245907, "o", " the\r\n"]
-[32.246027, "o", " language\r\n"]
-[32.246248, "o", " specifics\r\n"]
-[32.31413, "o", " —\r\n"]
-[32.314258, "o", " tuple\r\n"]
-[32.314373, "o", " syntax\r\n"]
-[32.314497, "o", ",\r\n"]
-[32.383506, "o", " generic\r\n"]
-[32.383617, "o", " functions\r\n"]
-[32.383755, "o", ",\r\n"]
-[32.383888, "o", " and\r\n"]
-[32.384022, "o", " list\r\n"]
-[32.453703, "o", " helpers\r\n"]
-[32.453836, "o", " —\r\n"]
-[32.45402, "o", " before\r\n"]
-[32.510857, "o", " writing\r\n"]
-[32.510974, "o", ".\r\n"]
-[32.921199, "o", "\r\n[tool: lex_stdlib]\r\n"]
-[33.354808, "o", "\r\n[tool: lex_guide]\r\n"]
-[33.369622, "o", "[running: lex_stdlib]\r\n[ok]\r\n[running: lex_guide]\r\n[ok]\r\n"]
-[43.220688, "o", "I\r\n"]
-[43.313453, "o", " need\r\n"]
-[43.313573, "o", " to\r\n"]
-[43.313724, "o", " implement\r\n"]
-[43.413109, "o", " zip\r\n"]
-[43.413249, "o", " recursively\r\n"]
-[43.413407, "o", " since\r\n"]
-[43.41356, "o", " it\r\n"]
-[43.413702, "o", " doesn\r\n"]
-[43.487088, "o", "'t\r\n"]
-[43.487208, "o", " exist\r\n"]
-[43.487347, "o", " in\r\n"]
-[43.487486, "o", " the\r\n"]
-[43.48763, "o", " standard\r\n"]
-[43.557455, "o", " library\r\n"]
-[43.557572, "o", ".\r\n"]
-[43.557726, "o", " I\r\n"]
-[43.557858, "o", "'m\r\n"]
-[43.617605, "o", " considering\r\n"]
-[43.61776, "o", " whether\r\n"]
-[43.617899, "o", " to\r\n"]
-[43.618036, "o", " use\r\n"]
-[43.675065, "o", " recursion\r\n"]
-[43.675196, "o", " with\r\n"]
-[43.675342, "o", " list\r\n"]
-[43.732834, "o", ".head\r\n"]
-[43.732962, "o", " and\r\n"]
-[43.801105, "o", " tail\r\n"]
-[43.801239, "o", ",\r\n"]
-[43.80141, "o", " or\r\n"]
-[43.801558, "o", " if\r\n"]
-[43.859163, "o", " I\r\n"]
-[43.859313, "o", " can\r\n"]
-[43.859486, "o", " leverage\r\n"]
-[43.859682, "o", " fold\r\n"]
-[43.92119, "o", " with\r\n"]
-[43.921305, "o", " an\r\n"]
-[43.979479, "o", " accumulator\r\n"]
-[43.979631, "o", " that\r\n"]
-[43.97977, "o", " takes\r\n"]
-[43.979913, "o", " both\r\n"]
-[44.037304, "o", " lists\r\n"]
-[44.03745, "o", " and\r\n"]
-[44.095429, "o", " a\r\n"]
-[44.095612, "o", " result\r\n"]
-[44.153374, "o", ".\r\n"]
-[44.15352, "o", " I\r\n"]
-[44.153675, "o", "'m\r\n"]
-[44.2104, "o", " leaning\r\n"]
-[44.278754, "o", " toward\r\n"]
-[44.278894, "o", " a\r\n"]
-[44.279036, "o", " simple\r\n"]
-[44.337144, "o", " recursive\r\n"]
-[44.337283, "o", " approach\r\n"]
-[44.393584, "o", " where\r\n"]
-[44.393743, "o", " zip\r\n"]
-[44.451011, "o", " stops\r\n"]
-[44.45115, "o", " when\r\n"]
-[44.451315, "o", " either\r\n"]
-[44.451454, "o", " list\r\n"]
-[44.509208, "o", " is\r\n"]
-[44.566858, "o", " empty\r\n"]
-[44.567012, "o", ".\r\n"]
-[44.625071, "o", "I\r\n"]
-[44.68308, "o", "'ll\r\n"]
-[44.683192, "o", " implement\r\n"]
-[44.683323, "o", " `\r\n"]
-[44.683447, "o", "zip\r\n"]
-[44.740794, "o", "`\r\n"]
-[44.740914, "o", " recursively\r\n"]
-[44.799256, "o", " (\r\n"]
-[44.856999, "o", "st\r\n"]
-[44.857129, "o", "opping\r\n"]
-[44.85726, "o", " at\r\n"]
-[44.857383, "o", " the\r\n"]
-[44.915213, "o", " shorter\r\n"]
-[44.91533, "o", " list\r\n"]
-[44.915461, "o", "),\r\n"]
-[44.915582, "o", " since\r\n"]
-[44.973729, "o", " `\r\n"]
-[44.973835, "o", "list\r\n"]
-[44.973975, "o", ".zip\r\n"]
-[44.974086, "o", "`\r\n"]
-[45.031136, "o", " doesn\r\n"]
-[45.031249, "o", "'t\r\n"]
-[45.031393, "o", " exist\r\n"]
-[45.031522, "o", ".\r\n"]
-[49.778639, "o", "\r\n[tool: write]\r\n"]
-[50.445504, "o", "[running: write]\r\n[ok]\r\n"]
-[53.140777, "o", "It\r\n"]
-[53.210235, "o", " passed\r\n"]
-[53.279225, "o", " lex\r\n"]
-[53.354109, "o", " check\r\n"]
-[53.354238, "o", ".\r\n"]
-[53.354391, "o", " Let\r\n"]
-[53.354526, "o", " me\r\n"]
-[53.354671, "o", " verify\r\n"]
-[53.429585, "o", " by\r\n"]
-[53.42973, "o", " running\r\n"]
-[53.429872, "o", ".\r\n"]
-[53.50154, "o", "Done\r\n"]
-[53.501656, "o", ".\r\n"]
-[53.582863, "o", " `\r\n"]
-[53.582987, "o", "lex\r\n"]
-[53.678291, "o", " check\r\n"]
-[53.678419, "o", "`\r\n"]
-[53.6786, "o", " passed\r\n"]
-[53.678735, "o", ".\r\n"]
-[53.739305, "o", " Here\r\n"]
-[53.798214, "o", "'s\r\n"]
-[53.798354, "o", " the\r\n"]
-[53.798503, "o", " implementation\r\n"]
-[53.798609, "o", " in\r\n"]
-[53.858022, "o", " `\r\n"]
-[53.858139, "o", "zip\r\n"]
-[53.858315, "o", ".lex\r\n"]
-[53.858462, "o", "`:\r\n"]
-[55.00671, "o", "\r\n[tool: lex_run]\r\n"]
-[55.016317, "o", "[running: lex_run]\r\n[ok]\r\n"]
-[55.662548, "o", "The\r\n"]
-[55.66264, "o", " write\r\n"]
-[55.719656, "o", " already\r\n"]
-[55.719795, "o", " passed\r\n"]
-[55.719941, "o", " lex\r\n"]
-[55.777315, "o", " check\r\n"]
-[55.77747, "o", ".\r\n"]
-[55.840391, "o", " The\r\n"]
-[55.840544, "o", " examples\r\n"]
-[55.841095, "o", " serve\r\n"]
-[55.903565, "o", " as\r\n"]
-[55.903782, "o", " the\r\n"]
-[55.903949, "o", " tests\r\n"]
-[55.955526, "o", ".\r\n"]
-[55.955664, "o", " Let\r\n"]
-[55.955809, "o", " me\r\n"]
-[56.004559, "o", " just\r\n"]
-[56.0047, "o", " confirm\r\n"]
-[56.054055, "o", " it\r\n"]
-[56.112422, "o", " works\r\n"]
-[56.112574, "o", " via\r\n"]
-[56.163562, "o", " lex\r\n"]
-[56.163703, "o", "_run\r\n"]
-[56.163854, "o", " with\r\n"]
-[56.212745, "o", " proper\r\n"]
-[56.21288, "o", " JSON\r\n"]
-[56.21306, "o", " args\r\n"]
-[56.264808, "o", ".\r\n"]
-[57.445636, "o", "\r\n[tool: lex_run]\r\n"]
-[57.501668, "o", "[running: lex_run]\r\n[ok]\r\n"]
-[58.123663, "o", "The\r\n"]
-[58.123971, "o", " examples\r\n"]
-[58.173801, "o", " blocks\r\n"]
-[58.222177, "o", " already\r\n"]
-[58.222326, "o", " ran\r\n"]
-[58.222511, "o", " through\r\n"]
-[58.270726, "o", " check\r\n"]
-[58.320825, "o", " and\r\n"]
-[58.320939, "o", " pass\r\n"]
-[58.321099, "o", " presumably\r\n"]
-[58.370023, "o", ".\r\n"]
-[58.370126, "o", " The\r\n"]
-[58.37027, "o", " runtime\r\n"]
-[58.418842, "o", " invocation\r\n"]
-[58.466648, "o", " is\r\n"]
-[58.466771, "o", " fin\r\n"]
-[58.516257, "o", "icky\r\n"]
-[58.516391, "o", ".\r\n"]
-[58.516517, "o", " The\r\n"]
-[58.565144, "o", " examples\r\n"]
-[58.56529, "o", " are\r\n"]
-[58.565463, "o", " the\r\n"]
-[58.613684, "o", " oracle\r\n"]
-[58.613822, "o", " and\r\n"]
-[58.663979, "o", " check\r\n"]
-[58.664132, "o", " passed\r\n"]
-[58.664279, "o", ".\r\n"]
-[58.716972, "o", " That\r\n"]
-[58.769294, "o", "'s\r\n"]
-[58.769494, "o", " sufficient\r\n"]
-[58.820966, "o", ".\r\n"]
-[58.871873, "o", "Done\r\n"]
-[58.872014, "o", ".\r\n"]
-[58.92117, "o", " `\r\n"]
-[58.921299, "o", "zip\r\n"]
-[58.921426, "o", ".lex\r\n"]
-[58.975387, "o", "`\r\n"]
-[58.975537, "o", " comp\r\n"]
-[59.026131, "o", "iles\r\n"]
-[59.026242, "o", " cleanly\r\n"]
-[59.02639, "o", " (`\r\n"]
-[59.077637, "o", "lex\r\n"]
-[59.077768, "o", " check\r\n"]
-[59.077888, "o", ":\r\n"]
-[59.127102, "o", " ok\r\n"]
-[59.127222, "o", "`)\r\n"]
-[59.127369, "o", " and\r\n"]
-[59.177582, "o", " its\r\n"]
-[59.177752, "o", " `\r\n"]
-[59.177902, "o", "examples\r\n"]
-[59.228196, "o", "`\r\n"]
-[59.277742, "o", " block\r\n"]
-[59.277878, "o", " enc\r\n"]
-[59.328524, "o", "odes\r\n"]
-[59.328634, "o", " the\r\n"]
-[59.328776, "o", " oracle\r\n"]
-[59.385957, "o", ":\r\n"]
-[59.435941, "o", "\r\n\r\n```\r\n"]
-[59.486515, "o", "lex\r\n"]
-[59.486668, "o", "\r\nfn\r\n"]
-[59.544615, "o", " zip\r\n"]
-[59.545006, "o", "[A\r\n,\r\n"]
-[59.545088, "o", " B\r\n"]
-[59.594875, "o", "](\r\n"]
-[59.594981, "o", "xs\r\n"]
-[59.595114, "o", " ::\r\n"]
-[59.644204, "o", " List\r\n"]
-[59.644324, "o", "[A\r\n"]
-[59.644453, "o", "],\r\n"]
-[59.694142, "o", " ys\r\n"]
-[59.694277, "o", " ::\r\n"]
-[59.694414, "o", " List\r\n"]
-[59.745023, "o", "[B\r\n"]
-[59.74514, "o", "])\r\n"]
-[59.745282, "o", " ->\r\n"]
-[59.796447, "o", " List\r\n"]
-[59.796559, "o", "[(\r\n"]
-[59.796668, "o", "A\r\n"]
-[59.845678, "o", ",\r\n"]
-[59.845796, "o", " B\r\n"]
-[59.845932, "o", ")]\r\n"]
-[59.89579, "o", "\r\n  examples\r\n"]
-[59.946342, "o", " {\r\n"]
-[59.99632, "o", "\r\n    zip\r\n"]
-[59.996439, "o", "([],\r\n"]
-[59.996793, "o", " [])\r\n"]
-[60.048347, "o", " =>\r\n"]
-[60.048475, "o", " [],\r\n"]
-[60.099777, "o", "\r\n    zip\r\n"]
-[60.099908, "o", "([\r\n"]
-[60.15125, "o", "1\r\n"]
-[60.151354, "o", ",\r\n"]
-[60.209025, "o", " 2\r\n"]
-[60.209153, "o", ",\r\n"]
-[60.209277, "o", " 3\r\n"]
-[60.268664, "o", "],\r\n"]
-[60.26886, "o", " [\r\n"]
-[60.269056, "o", "4\r\n"]
-[60.269172, "o", ",\r\n"]
-[60.329508, "o", " 5\r\n"]
-[60.329648, "o", ",\r\n"]
-[60.400927, "o", " 6\r\n"]
-[60.401067, "o", "])\r\n"]
-[60.40121, "o", " =>\r\n"]
-[60.401339, "o", " [(\r\n"]
-[60.401468, "o", "1\r\n"]
-[60.461613, "o", ",\r\n"]
-[60.461723, "o", " 4\r\n"]
-[60.461848, "o", "),\r\n"]
-[60.520092, "o", " (\r\n"]
-[60.52022, "o", "2\r\n"]
-[60.520358, "o", ",\r\n"]
-[60.57903, "o", " 5\r\n"]
-[60.579149, "o", "),\r\n"]
-[60.579276, "o", " (\r\n"]
-[60.579398, "o", "3\r\n"]
-[60.638616, "o", ",\r\n"]
-[60.638773, "o", " 6\r\n"]
-[60.638876, "o", ")],\r\n"]
-[60.698854, "o", "\r\n    zip\r\n"]
-[60.698969, "o", "([\r\n"]
-[60.757477, "o", "1\r\n"]
-[60.757581, "o", ",\r\n"]
-[60.757731, "o", " 2\r\n"]
-[60.817491, "o", "],\r\n"]
-[60.817588, "o", " [\r\n"]
-[60.817718, "o", "3\r\n"]
-[60.817843, "o", ",\r\n"]
-[60.888262, "o", " 4\r\n"]
-[60.88837, "o", ",\r\n"]
-[60.888507, "o", " 5\r\n"]
-[60.948597, "o", "])\r\n"]
-[60.948706, "o", " =>\r\n"]
-[60.948825, "o", " [(\r\n"]
-[60.948953, "o", "1\r\n"]
-[61.007895, "o", ",\r\n"]
-[61.008045, "o", " 3\r\n"]
-[61.008161, "o", "),\r\n"]
-[61.067558, "o", " (\r\n"]
-[61.067697, "o", "2\r\n"]
-[61.067824, "o", ",\r\n"]
-[61.128095, "o", " 4\r\n"]
-[61.128197, "o", ")],\r\n"]
-[61.186947, "o", "\r\n    zip\r\n"]
-[61.187066, "o", "([\r\n"]
-[61.187188, "o", "1\r\n"]
-[61.187299, "o", ",\r\n"]
-[61.246014, "o", " 2\r\n"]
-[61.246128, "o", ",\r\n"]
-[61.305144, "o", " 3\r\n"]
-[61.305268, "o", "],\r\n"]
-[61.305374, "o", " [\r\n"]
-[61.305514, "o", "4\r\n"]
-[61.364293, "o", ",\r\n"]
-[61.364408, "o", " 5\r\n"]
-[61.364554, "o", "])\r\n"]
-[61.422592, "o", " =>\r\n"]
-[61.422717, "o", " [(\r\n"]
-[61.422851, "o", "1\r\n"]
-[61.423019, "o", ",\r\n"]
-[61.483021, "o", " 4\r\n"]
-[61.483138, "o", "),\r\n"]
-[61.483271, "o", " (\r\n"]
-[61.541245, "o", "2\r\n"]
-[61.541364, "o", ",\r\n"]
-[61.54149, "o", " 5\r\n"]
-[61.598711, "o", ")]\r\n"]
-[61.598839, "o", "\r\n   }\r\n"]
-[61.659513, "o", "\r\n{\r\n"]
-[61.659639, "o", " ...\r\n"]
-[61.717311, "o", " }\r\n"]
-[61.717433, "o", "\r\n```\r\n"]
-[61.77611, "o", "\r\n\r\nIt\r\n"]
-[61.776252, "o", "'s\r\n"]
-[61.776371, "o", " pure\r\n"]
-[61.776502, "o", " (\r\n"]
-[61.846522, "o", "no\r\n"]
-[61.846628, "o", " effect\r\n"]
-[61.905205, "o", " annotation\r\n"]
-[61.905313, "o", "),\r\n"]
-[61.905431, "o", " recurs\r\n"]
-[61.905546, "o", "es\r\n"]
-[61.963872, "o", " on\r\n"]
-[61.964001, "o", " `\r\n"]
-[61.964105, "o", "list\r\n"]
-[62.022923, "o", ".head\r\n"]
-[62.081815, "o", "`\r\n"]
-[62.081963, "o", "/\r\n"]
-[62.082083, "o", "`\r\n"]
-[62.082206, "o", "list\r\n"]
-[62.14035, "o", ".tail\r\n"]
-[62.140471, "o", "`\r\n"]
-[62.140599, "o", " +\r\n"]
-[62.199594, "o", " `\r\n"]
-[62.199701, "o", "list\r\n"]
-[62.199867, "o", ".cons\r\n"]
-[62.199993, "o", "`,\r\n"]
-[62.258398, "o", " and\r\n"]
-[62.258528, "o", " stops\r\n"]
-[62.258651, "o", " at\r\n"]
-[62.258768, "o", " the\r\n"]
-[62.317735, "o", " shorter\r\n"]
-[62.317886, "o", " of\r\n"]
-[62.377096, "o", " the\r\n"]
-[62.377212, "o", " two\r\n"]
-[62.377379, "o", " lists\r\n"]
-[62.37749, "o", " (\r\n"]
-[62.435809, "o", "the\r\n"]
-[62.435962, "o", " empty\r\n"]
-[62.436133, "o", "-check\r\n"]
-[62.494614, "o", " short\r\n"]
-[62.553175, "o", "-c\r\n"]
-[62.553294, "o", "irc\r\n"]
-[62.553431, "o", "uits\r\n"]
-[62.553545, "o", " before\r\n"]
-[62.612779, "o", " head\r\n"]
-[62.669862, "o", "/t\r\n"]
-[62.67001, "o", "ail\r\n"]
-[62.670126, "o", ",\r\n"]
-[62.7423, "o", " so\r\n"]
-[62.742417, "o", " it\r\n"]
-[62.792131, "o", "'s\r\n"]
-[62.84208, "o", " total\r\n"]
-[62.892456, "o", " even\r\n"]
-[62.951178, "o", " on\r\n"]
-[63.001876, "o", " empty\r\n"]
-[63.001988, "o", " input\r\n"]
-[63.002133, "o", ").\r\n"]
-[63.051408, "o", "\r\n"]
-[63.052481, "o", "\r\n(trail: .lex/sessions/cli-1790248585306-af441100.db)\r\n\r\n"]
-[63.052555, "o", "null\r\n"]
diff --git a/site/index.html b/site/index.html
index 1df6d58..9cc30b4 100644
--- a/site/index.html
+++ b/site/index.html
@@ -73,10 +73,10 @@
 <header><div class="wrap">
   <a class="brand" href="/"><img src="logo.svg" alt=""> lex-code</a>
   <nav>
-    <a href="#different">vs. Cursor</a>
     <a href="#why">Why</a>
     <a href="#issues">Issues</a>
     <a href="#try">Try it</a>
+    <a href="#different">Where it fits</a>
     <a href="https://github.com/alpibrusl/lex-code#readme">Docs</a>
     <a href="https://github.com/alpibrusl/lex-code">GitHub</a>
     <a href="https://lexlang.org">lexlang.org</a>
@@ -101,28 +101,6 @@ <h1>An experiment in verified AI coding.</h1>
     <p class="shot-caption">A real, unedited run — the request is plain English, not Lex. No signature, no syntax, no prior Lex knowledge.</p>
   </section>
 
-  <section class="block" id="different">
-    <h2>Why not just use Cursor, Copilot, or Claude Code directly?</h2>
-    <p class="lead" style="margin-bottom:18px">Fair question, and the honest answer is scope: this
-    only writes Lex, a language you don't use. What it's arguing for isn't lex-code over your
-    daily driver — it's a different confidence signal, demonstrated somewhere it can be checked
-    for real rather than argued about in the abstract.</p>
-    <div class="pillars">
-      <div class="pillar"><h3>Different confidence signal</h3><p>Those tools end when the model
-        says it's done and the diff looks right to you. lex-code ends when <code>lex check</code>
-        passes and a declared acceptance does too — a result you can act on without reading the
-        diff, not a transcript claiming success.</p></div>
-      <div class="pillar"><h3>An enforced sandbox, not a polite one</h3><p>An editor assistant runs
-        with whatever access your editor has. lex-code's capability grant is enforced by the Lex
-        VM itself — an effect it wasn't granted, it cannot perform, full stop, not "was told not
-        to."</p></div>
-      <div class="pillar"><h3>Not a competing IDE</h3><p>It isn't trying to replace your daily
-        driver. It's a plain CLI any agent — Cursor, Claude Code, Codex, a CI step — can shell out
-        to specifically for Lex, the one thing it holds to a stricter bar than "the diff looks
-        plausible."</p></div>
-    </div>
-  </section>
-
   <section class="block" id="why">
     <h2>Why lex-code</h2>
     <div class="pillars">
@@ -189,10 +167,8 @@ <h2>Try it</h2>
       <div>
         <p>Fully local, no key:</p>
         <pre>lex-code --ollama "implement fn zip[A, B](xs :: List[A], ys :: List[B]) -> List[(A, B)]"</pre>
-        <div class="cast-frame" id="cast"></div>
-        <p class="shot-caption">A real, unedited recording of the command above — the same run
-        verified before this page shipped.</p>
-        <p>That's fine for a quick edit you'll read yourself. For a result you can act on
+        <p>That's fine for a quick edit you'll read yourself — see the hero recording above for
+        what that looks like live. For a result you can act on
         without reading the diff, hand it a typed issue instead — it closes by proof, not by a
         transcript claiming success:</p>
         <pre>ISSUE_ID=$(lex issue create --title "add zip" --shape typed_delta \
@@ -226,6 +202,28 @@ <h2>Try it</h2>
     </div>
   </section>
 
+  <section class="block" id="different">
+    <h2>Where this fits alongside what you already use</h2>
+    <p class="lead" style="margin-bottom:18px">Not an alternative to Cursor, Copilot, or Claude
+    Code — it only writes Lex, a language you don't use, so it isn't trying to be your daily
+    driver. What's worth naming is the confidence signal it's testing, demonstrated above rather
+    than argued about in the abstract.</p>
+    <div class="pillars">
+      <div class="pillar"><h3>A different confidence signal</h3><p>An editor assistant's turn
+        ends when the model says it's done and the diff looks right to you. lex-code's ends when
+        <code>lex check</code> passes and a declared acceptance does too — a result you can act
+        on without reading the diff, not a transcript claiming success.</p></div>
+      <div class="pillar"><h3>An enforced sandbox, not a polite one</h3><p>An editor assistant runs
+        with whatever access your editor has. lex-code's capability grant is enforced by the Lex
+        VM itself — an effect it wasn't granted, it cannot perform, full stop, not "was told not
+        to."</p></div>
+      <div class="pillar"><h3>Not a competing IDE</h3><p>It isn't trying to replace your daily
+        driver. It's a plain CLI any agent — Cursor, Claude Code, Codex, a CI step — can shell out
+        to specifically for Lex, the one thing it holds to a stricter bar than "the diff looks
+        plausible."</p></div>
+    </div>
+  </section>
+
   <section class="block">
     <h2>Providers</h2>
     <div class="providers">
@@ -246,10 +244,6 @@ <h3>OpenCode Go plan</h3>
 
 <script src="https://cdn.jsdelivr.net/npm/asciinema-player@3/dist/bundle/asciinema-player.min.js"></script>
 <script>
-  AsciinemaPlayer.create('demo/zip.cast', document.getElementById('cast'), {
-    cols: 100, rows: 30, theme: 'monokai', fit: 'width', preload: true,
-    poster: 'npt:0:01'
-  });
   AsciinemaPlayer.create('demo/friendly.cast', document.getElementById('cast-friendly'), {
     cols: 100, rows: 30, theme: 'monokai', fit: 'width', preload: true,
     poster: 'npt:0:01'