Half-done specification translation into intermediary types.