Implemented FULLY-EXPAND-FORM.