Minor fixes
Added utilities, some typed exprs