alcove_codec: add type specs