Parameter type check for untyped state machine