Further refining implement and extends lists to be types.