Title: Type-composing machines