Better InferEngine

Force only one engine on EXT project
Type completion on arrays