init commit, type checked