add more details about type inference. Closes #27