As far as I can see, some of the tachart units used (tachartaxis(utils)) seem to use unit propedits which is in ideintf, pulling in more of ideintf.
But that is as far as I can follow it, to judge if this is correct or not needs somebody that is more lazarus savy than I am.