cleanup ntheory typechecking
add lucas and lucas2