Reimplement the Sigma Matrix

Along the way, alot of ints are unsigned now. This may produce some
bugs in the LAP solving, but increases safety and performance.

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>