Moved type examples to common directory for both typecheckers