add quicheck file
export type as t for instruction
export type as t for instructions
export type as t for action
reuse of of1.3 module