Formalize microtemplating engine in Aspire