Add first basis dedicated to type validation