god damn typos
add section on type resolving