stellogen. An experimental language exploring computation and meaning through term unification, with logic-agnostic types.