Changed printing for a restriction
writes template and model correctly
Added printing of the equals requirement
Fixed = token
Updated the ks spec to the new format for relation expressions