[core.interfaces] fix typo
[core.interfaces] add _with_arguments_error
make with_ usable for analytical problems