type_check
type_check(symbol_t *symbol, expression_t *expression, int opcode)
type_check(const char *path, FILE *fp)