Add an example of type checked model with Boot

fixup: Test for Boot