removed old legacy position code and turned Position into a value class
removed old legacy position code and turned Position into a value class

lex-lex/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,leoprover/Leo-III