added list typechecking