/check/type/

• ../
• addop
• arrray
• assign
• bool
• fail-if.p
• mulop
• pass-if.p