Unify AST processing between functional expressions, tuple expression, strings, standardize runtime semantic validation

[ssalbdivad]

After the refactor is complete, search repo for this issue's link and address any TODOs referencing it.

Also, add:

= (Default value) (should also work in string) Merge (maybe use "+", should not only be tuple expression)