Added some more lagarto checks and minor fix
Added JSON module
Unify the behavior of bodyTex()