transitivity only in lenient mode
full type safety for nominal calc