correct the examples for List -> TreeMap
Inline (.) and id for (->) instance
set the depth of instance members to the depth given by corresponding class member
change some traces
call unknown instance functions with apply/eval
make return kind consistent between 'if' and 'case'
use typed function types
fixed type for round(float)
jtFunc needs a type argument
compute/use also the return Sigma
make use of typed class functions