Be more informative about solver problems.
Universe addition must be recursive.

TODO: increase speed of recursion.