[Kernel] Detailled comments and method improvements

We can now represents filters that are not centered around zero.
The invariant computation now computes bounds for each state dimension.
The module is documented.