tests: add base_formal_subtype.nit

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