add type for term name
empty sign from empty input
collect abortable contexts