Make Linear a little more efficient.

Use properties instead of defining things in initializer for things that might
not be used, especially for subequations in the BDD algorithm.