Text this: Machine Space I: Weak exponentials and quantification over compact spaces