Contributing to NHol TODO: List NHol contributor guidelines, code formatting, documentation requirements, etc.