Finished specification translate into intermediary types.