Some more small additions to Trilean.