Model Possible RHS values with concrete and distinct types ( instead of monkey patching existing types to match and implicitely convert our values )

Add the beginnings of specs for our INI Value types