ability to use ifs/loops inside typed object expressions in imperative code