Rudimentary autotyping works