Implemented slice assignment

Note: untested due to typechecker issue.
Implemented "has"

Note: since tuple loose field names, has does not yet behave as expect
on tuple-related types.
Implemented "is"
Implemented get/set-annotation.