upgrade a previus typeCheck implementation
Merge branch 'nuevo'