From Languages to Systems: Understanding Practical Application Development in Security-typed Languages