Finished core migration to shapeless's typelist