- methods to type check + operands
- formatted copyright statement