refactoring: Replaced the construct elabTypedExp() with elabFieldImpl(), with simpler implementation.