Textmeddelande: Categorical abstract machines for higher-order typed lambda-calculi