Type safety: includes which of the following?
1) only performing legal operations
2) making sure only legal values are stored in a variable
3) always writing a constructor for a class
4) A and B
5) B and C