core/expression: using immutable data structures, unified the order of parameters and return values
core/gensym: more parameter order unification