Minor improvements to binary compiler and to template::eval