Flow has a lot of built in types - we should be able to do most or add not_supported warnings. We can check in `named_type_to_bstype`.