I like Howland's upside better than Terek's. Proctor, Lauck, Howland, Jones would be a great OL class. Leonard is going to be a project but he may be a monster by his 3rd or 4th year. Howland and Jones will need 2-3 years as well which is OK considering how many second and third-year players there are.
Proctor and Howland would make it a very good class. Howland is a better tackle prospect than Terek but Terek is a better inside prospect. But it's not wise imo to count on either. Teams like 'Bama and Oklahoma are hard to beat when they push hard.