removed endpoint anotation in hsplits and fixed typechecker