change formatting
add defaults value to new statements
create a theory resource
add basis for the argument editor