Add 'prove' dependency type
This is to distinguish a proof for a theorem VS a proof depends on
several theorems.