delete the manual and simple reflection theories

these were initial attempts that have been superseded
move bool_interpretations into basicReflectionLib

enabled by moving interprets_{nil,one} into vml