- Improved subst_term/_, now considering brace_term_position.

- Modifiying the term layout as few as possible.

- Fixed calls to arg/3.  2nd argument must be compound.