Added os-concat function.
Bugfix: now using filter instead of map in os-concat.
Several changes to U-INFER handling in becoming context independent, and better calculation of OS's in generic-infer.