🏷 Add type annotations to bice source

This merge request adds Python type annotations to most of the function signatures, such that the Python parser/linter can check for type errors.

This adds no functionality, just prevents errors (hopefully)!