Production-grade genpark-hindley-milner-type-inference-skill skill for AI agents