I think that typescript meets all 5 of the items in your first list.