Sweetening things up
The last bugs with variants are now dead and buried (hopefully). I have also modified the SLinks interpreter to accept 'Sweet SLinks' expression, which are SLinks expression with expanded, easier to use, operators for records and variants. The internal representation of expressions has not been modified to do this (except for a little bug that appeared when testing these new operators), it is purely syntactic sugar. The latest version of the SLinks language reference is available here and defines core and sweet grammar, translation from sweet to core grammar, as well as type inference rules (with a number of corrections since the last version).