test types for typed/syntax/stx