Histórico da Página

Qual a forma básica de declarar uma função tipada?

Function name (parâmetros) AS TYPE

Visite os Tipos Nativos.

No atual estágio, Static Function, Main Function e Function podem ser tipadas, sem restrições.
A tipagem para User Function (e possivelmente outras formas) ainda está em processo de validação e homologação.

Function typedFunc() as Numeric

O compilador checa se o retorno da função é compatível com o seu tipo declarado?
Sim, o compilador verifica e está bem atento a isso, para que a qualidade dos produtos Protheus seja cada vez melhor.
Os exemplos de 

Private nVar as Numeric init 10
Public cVar as Character init "I Love TLPP"

Posso deixar uma propriedade sem definição de tipo ou dar um tipo de objeto específico?
Sim, de maneira idêntica ao que se faz com uma variável (veja Tipando Variáveis).