Type (YC W23) is hiring a senior software engineer