Implement composetype op.