simplify some verbose declarations by type inferencing