Types for the val.town web extension