Jago program translator now support subtype/derived types declaration