rename PTerm type to Term
bool constants and explicit primitive types