Scheme of finite type