Compatibles: First draft of frontend impl