source tetra: parse extend form and add demo using type safe freezing