all are type checked as part of the stack navigation. screens beside the home of the stack include a go back button
