WIP: Revamp the type system

pystencils/typing/utilities.py

@@ -284,6 +284,7 @@ def add_types(eqs: List[Assignment], type_for_symbol: Dict[sp.Symbol, np.dtype],
 
     # TODO what does this do????
     # TODO: ask Martin
+    # TODO: use correct one/rename
     check = KernelConstraintsCheck(type_for_symbol, check_independence_condition,
                                    check_double_write_condition=check_double_write_condition)