Add ao/
Typechecker progress (currently broken)