exception handling
boolean op primitives
conditionals and list manipulation
simplified type checking