add subtype declaration in Jago type translator