Finite type scheme