Alias ASSUME/PROVE labels as label types

[ahelwer]

Example input:

---- MODULE E2039_Test ----
THEOREM thm ==
  ASSUME
    lbl :: ASSUME TRUE PROVE TRUE
  PROVE TRUE
====

Queries should pick up lbl when looking for labels.