Kaba variable progress ed

Syntax ed

var progress: owned[Progress]