Decomposing types/terms assembler, step 1.