added: From #6:
From #6:
axiomex := Gamma(3/2::EXPR INT)
axiomex::EXPR FLOAT
axiomex::EXPR FLOAT::FLOAT Cannot convert from type Expression Float to Float for value _ | (1.5)