WIP Toplevel input, characters 0-67: Anomaly: cannot define an evar twice. Please report.
Formalize the structure identity principle