Basic type inference for precondition functions and values
Remove debug printout from parseValFunction