Activate runtime type checks

[rossberg]

This PR adds previously missing runtime type checks on the arguments to the instantiate and invoke meta functions. The interpreter cannot currently handle these and will probably need some manual exemptions.

@ShinWonho, can you please look into this? To at least get the spec document correct quickly, perhaps the simplest temporary fix is to somehow just ignore these premises in the interpreter backend.

[presenthee]

@ShinWonho and I made some changes for the temporary fix:

• Removed the animate option
• Handled rule premises based on suffix matching
  rule _ok and _const are translated into AssertI. Currently, assertions are not working in the interpreter (thus they are ignored now) and we will revisit this after implementing assertions in the interpreter.

[rossberg]

Thanks @presenthee & @ShinWonho!