j/stype: symbolic/simplified type