Mirah extension for dynamic type support