Ah, yes, changing the reference levels for var1 and var2 will change the order of the coefficients. My apologies, I overlooked that.
See http://support.sas.com/kb/24/447.html for a tutorial on writing estimate and contrast statements. The LSMESTIMATE statement allows you to write estimate statements using lsmeans instead of parameters; see https://support.sas.com/resources/papers/proceedings11/351-2011.pdf
Using type=un does not produce wrong results, but if you look at the "Covariance Parameter Estimates" table, you will see that there is only one variance estimate for each level and as such there is no need to estimate covariances. Using type=un suggests that you might not understand the usage of the random statement as well as you might want to.
... View more