On permutation groups of finite type