So it will be like RBS-inline but with actual types in the code instead of comments? Cool!