Basic compile-time analysis
Move moduleanalysis, add autobinding stub (not working yet)