Non-classical expected utility theory with application to type indeterminacy