Added simple taxonomy solver. First naive implementation.