Tracking bug: add scans to loopy

mentioned in merge request !101 (merged)

mentioned in merge request !102 (merged)

mentioned in commit 969ce8dd

!103 (merged)

!105 (merged)

mentioned in commit 164ad102

mentioned in merge request !106 (merged)

mentioned in commit 06e5163e