change internal datastructure in typecache from map to idenityhashmap
simplify isPartOf computation
remove unnecessary comment
remove duplicates from monotonefw result computations
first version of check stdlib function returns