Various minor fixes

Removed TypeCollection#[]=, added ConstantInt#~@.