Fixing a bug in shadow-formula.
Adding sorts for SNARK.