Outline how type changing can work
Fix copyright headers