update Jago program translator for subtype declaration