Function loa::semantics::check_assignment

pub fn check_assignment(
    assignee: Type, 
    assigned: Type, 
    navigator: &Navigator, 
    types: &Types, 
    invariant: bool
) -> TypeAssignability