[Tdol]

I agree with Lib- 'have to' and 'be able to' are not exactly modals, but are used as ways of filling in for 'must' and 'can' respectively in forms that cannot be expressed by the modal, like futures with 'will', perfect aspects, etc.