Add cucumber tests for high-level types.