Added Labelled<'e, 'es, 't> to represent labelled elements.  Moved StaticMap<'k, 'v> to C# lib, because it is difficult to express in F#.  Changed InferenceRules attribute parameterization and added StaticMap option, which is currently not fully implemented.