model: introduce `MVirtualType::is_fixed` used indirectly by is_subtype

Signed-off-by: Jean Privat <jean@pryen.org>
tests: add base_virtual_type_fixed.nit

Signed-off-by: Jean Privat <jean@pryen.org>