Fixed domain-related test
Updated test progress
Added support for slice assignment with operator; adapted to new
interface of type checker
Minor improvements