XSB does not fully check type validity of constructed types

[Joachim Jansen]

Example:

vocabulary V {
  type m isa string
  type n isa int
    type t constructed from { C(m), C(n) }
    P1(t)
    P2(t)
    P3(t)
}

theory T : V {
    { P1(C("3")). }
    { P2(C(2)). }
     P3(C("4")). }
}

structure S : V {
    m = { "1"; "2"; "3" }
    n = { 1; 2; 3 }
}

Solution: check in PrologProgram.cpp where the constructed type checks happen and add stuff where necessary

[Joachim Jansen]

fixed after PR 410