Add dict_ as a type shorthand
Work on builtin type inference