[core] support sid calcuation for FrozenDict
[discretizations] remove 'with_arguments' from interface
[discretizations] allow arbitrary operators, functionals, vectors in basic discretizations