added short notation for writing terms representing primitive Java types