Trk constr

fixes the track constructor and typechecking for it