Type checks and documentation