"""Typed project workspace module."""