Allowing beta-red & conv-test at the type level