Add fromArgs function to Args class

Can be used to get the list of untyped expressions from an Args instance, which can then again be fed into toArgs.
Fix bug in Ord instance of SMTExpr
Add ArgAnnotation parameter to toArgs function

This way we can encode structural information (length of a list, keys of a set, etc.)