More work on terms and ModelFrame.

Still having trouble with a general form of expansion of the * operator