adding Fill to shape and type inference