[type checker] Fixed bug in type checking a tight juxt. Now it tries to check as multifix juxtaposition and then as infix juxtaposition.
