Ensure context is set correctelly in typeCheck callback
Add missing signatures to structural object type caching for specialization
Add maximum depth limitation on recursive specialization
Ensure context is set correctelly in typeCheck callback
Fix stack overflow in recursively inherited class hierarchy (non-generic)
Update LKG