Added support for multi-argument fixpoints
Fixed point with many variables implemented