Matrices <-> binary relations. Compilation fixed. Bunch of improvements.

Author: gsvgit