Typing with Aubergine