Name Evalualbe type parameter explicitly

An Evaluable<T> should be evaluated as T.
Add Boolean type.