Towards clos typechecking