Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering