Add a new push method for a reasonable case, relax typing elsewhere
Added new dot methods