Methods for checking types
Separate eval and read executables