- I would model this as a one-state system (x), with the gyro as the control input. The gyro noise becomes state input noise, the compass noise becomes measurement noise. So your system model becomes $$\hat{\dot \theta} = \omega_{gyro} + w$$ $$\hat y = \hat x$$ where $\hat y$ is the filter's estimate of direction, which you compare to the compass direction to get your Kalman update.
- The magnetic distortion is going to be difficult, because if you sit in any one place it will appear as a constant offset term -- the Kalman filter won't deal with this well. I'm pretty sure you'll either need to map the distortion, get some second absolute direction reference, or just accept the distortion.
- You are confusing spectral content with probability distribution. If the noise is white, then each sample in perfectly independent of any other sample. If the noise is Laplacian, each sample obeys the Laplace distribution. Kalman filters don't like colored noise (but you can deal with that by adding states). A Kalman filter is only the overall optimal filter when the noise is of Gaussian distribution and the cost function is sum-of-squares. For any other noise and cost function, the optimal filter is probably nonlinear. But for any zero-mean, white noise and sum-of-squares cost function, the Kalman filter is the best linear filter to be found.
(Note that the system model I gave ends up with a pretty trivial Kalman filter -- you may be better off, if you can't find some other means of estimating compass offset, using a complimentary filter to combine these two sensor inputs. Doing all the Kalman computations will just end up coughing up a complimentary filter anyway, and chances are that you'll have enough guesses for your constants that you may as well just guess at the crossover point in a complimentary filter and be done with it).
(Note, too, that if you have some absolute position reference, and some means estimating speed, and a vehicle that always goes in the direction you point it, that you can use an extended Kalman filter very profitably to correct the compass distortion by using the direction it actually moves to correct for the compass direction).
Optimal State Estimation by Dan Simon, Wiley 2006, is -- in my opinion -- a very rich and clear treatment of the subject of Kalman filtering and its more sophisticated brethren (H-infinity, extended Kalman, unscented Kalman, and even a bit on Baysian and particle filtering). It won't tell you how to apply that to navigation problems like this, but where would be the fun in life if all the problems were solved?. If you can't follow the math in Simon's book, then you should probably be asking yourself if you're going to be able to apply a Kalman filter in any sort of intelligent way.