new syntax for theta.json
fix bug in type detection