Formal implementation of linear restrictions

1- This only works for rfvar and svar in the switching case
2- would also work for dsge if interface is written
3- updates required for stochvol
4- The constant-parameter case has yet to be done