mapping (property constraints) --> listOf(matching types) is added to typeinfo.js