Update TODO file

Author: zickgraf

CompilerForCAP/TODO

@@ -1,13 +1,10 @@
 Speed:
 
 * reduce number of calls to `StructuralCopy`
-* get value of all expression from jit args only once
-* logic templates per category?
-* drop unused variables completely (instead of marking them with _UNUSED_)
 
 Features:
 
 * list expressions for logic templates
 * do not inline variables but only a reference to them for the logic to use
 * support compilation of operations
-* support assigning a variable multiple times, at least in different if branches
+* For categories with finitely many objects (or morphisms): detect parts of the code which can be precomputed, e.g. hom_structure_on_basis_paths in Algebroids.