SMT Gel-gebaseerde typeringsmethoden