Add instances for TVar and STRef
lensと衝突シンボルを変更
add INLINE pragmas